SMock - A Test Platform for Monitoring Tools
نویسندگان
چکیده
In the absence of a test framework for runtime verification tools, the evaluation and testing of such tools is an onerous task. In this paper we present the tool SMock; an easily and highly configurable mock system based on a domainspecific language providing profiling reports and enabling behaviour replayability, and specifically built to support the testing and evaluation of runtime verification tools.
منابع مشابه
ARM-based performance monitoring for the eclipse platform
The Eclipse Test and Performance Tools Platform (TPTP) project released an open source and ARM 4.0 compliant implementation in June 2006, based on TPTP version 4.2. This paper describes the TPTP project, and explains how ARM has been implemented and integrated with TPTP. The tradeoffs involved in getting to this point are discussed, along with the challenges in moving forward. Specific examples...
متن کاملA Novel System-Level Calibration Method for Gimballed Platform IMU Using Optimal Estimation
An accurate calibration of inertial measurement unit errors is increasingly important as the inertial navigation system requirements become more stringent. Developing calibration methods that use as less as possible of IMU signals has 6-DOF gimballed IMU in space-stabilized mode is presented. It is considered as held stationary in the test location incorporating 15 di...
متن کاملMonitoring Pyrethroid Insecticide Resistance in Major Malaria Vector Anopheles culicifacies: Comparison of Molecular Tools and Conventional Susceptibility Test
<Anopheles culicifacies is a main malaria vector in southeastern part of Iran, bordring Afghanistan and Pakistan. So far, resistance to DDT, dieldrin, malathion and partial tolerance to pyrethroids has been reported in An. stephensi, but nothing confirmed on resistance status of An. culicifacies in Iran. Methods: In current study, along with WHO routine susceptibility test with DDT (4%), di...
متن کاملLow Cost UAV-based Remote Sensing for Autonomous Wildlife Monitoring
In recent years, developments in unmanned aerial vehicles, lightweight on-board computers, and low-cost thermal imaging sensors offer a new opportunity for wildlife monitoring. In contrast with traditional methods now surveying endangered species to obtain population and location has become more cost-effective and least time-consuming. In this paper, a low-cost UAV-based remote sensing platform...
متن کاملBiomedical Application of a Novel Nanostructured-based Electrochemical Platform for Therapeutic Monitoring of an Antiepileptic Drug; Gabapentin
Herein, gold nanoparticle had been successfully synthesized through a simple, inexpensive and clean electrochemical technique. Gold nanoparticles were directly deposited on the electrode surface using an electrochemical strategy. Then, the electrochemical deposition parameters (such as applied potential and deposition time) were optimized. 1.1 V and 250 s were applied as the optimal electrodepo...
متن کامل